RT modeling with UML for safety critical applications: the HIDOORS project example
نویسندگان
چکیده
This paper deals with the definition of a UML profile addressing software for critical applications. This profile is implemented in the context of the HIDOORS project. It is based on both OMG standard profile "UML Profile for Schedulability, Performance and Time" and the ARINC 653 specification.
منابع مشابه
A UML Profile for the Development of IEC 61508 Compliant Embedded Software
In this paper we propose a UML profile that extends the Unified Modeling Language (UML) to support the development of safety-critical embedded software in accordance with the safety standard IEC 61508 [5]. Our profile enables software developers to precisely express certification-related information using the UML notation. This improved information density in software models can be exploited as...
متن کاملAnalysis of critical paths in a project network with random fuzzy activity times
Project planning is part of project management, which is relates to the use of schedules such as Gantt charts to plan and subsequently report progress within the project environment. Initially, the project scope is defined and the appropriate methods for completing the project are determined. In this paper a new approach for the critical path analyzing a project network with random fuzzy activi...
متن کاملImproving Software Quality in Safety-Critical Applications by Model-Driven Verification
We propose a new development scheme for quality-aware applications, quality-driven development (QDD), based on the Model-Driven Architecture (MDA) of OMG. We argue that software development in areas, such as real-time systems, should not only rely on code verification, but also on design verification, and show that a slightly extended MDA process offers the opportunity to integrate system devel...
متن کاملTowards Precise Service Specification with UML and UML-RT
The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. The current trend towards “web services” is just one example of this increase in popularity; others occur in safety-critical systems (such as in the automotive or avionics domain), where precise specification, and correct implementation of requirements are essential. Surprisingly, however,...
متن کاملA Critical Analysis and Treatment of Important UML Diagrams Enhancing Modeling Power
Requirements analysis and design specification are serious issues in systems development because of the semantics involved in transformation of real world problems to computer software systems. Although unified modeling language (UML) is now accepted as a de facto standard for design and specification of object oriented systems but its structures have various disadvantages. For example, it lack...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003